http://bactra.org/reviews/wolfram/ - критика книги Степана Вольфрама "Новый вид науки ( Read more... )

вот тут https://www-cs-faculty.stanford.edu/~knuth/programs.html есть ссылка на программу, что позволяет решать проблемы Игры Жизнь через представление их в виде проблемы логической выполнимости.

И по мелочам там интересное. ;)